Hoare logic
Synonyms for "hoare logic" (5 found)
Ranked by relevance and common usage.
Closest matches (1)
Noun(1 words)
axiomatic framework
Strong matches (2)
Noun(2 words)
axiomatic systemformal logic
Related words (2)
Noun(2 words)
formal methodsprogram verification logic
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
5 entriesaxiomatic theoryformal methodsformal theorylogic systemverification framework
More specific
7 entriesassignment axiomcomposition ruleconditional ruleloop invariant rulepartial correctnesstotal correctnessweakest precondition
Collocations
6 entriesHoare tripleformal proof systempartial correctnessprogram verificationtotal correctnessweakest precondition
Inflections
1 entriesHoare logics
Derivations
1 entriesHoare logics